From: emellor@ewan <emellor@ewan>
Date: Fri, 30 Sep 2005 16:05:08 +0000 (+0100)
Subject: Minor tidy.
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~16763^2~66
X-Git-Url: https://dgit.raspbian.org/%22http:/www.example.com/cgi/%22https://%22%22/%22http:/www.example.com/cgi/%22https:/%22%22?a=commitdiff_plain;h=db730ecdd132306732846b1ec26d8c5a7a873563;p=xen.git

Minor tidy.

Signed-off-by: Ewan Mellor <ewan@xensource.com>
---

diff --git a/tools/python/xen/xend/XendCheckpoint.py b/tools/python/xen/xend/XendCheckpoint.py
index b0e1536a6a..9c38fab5b1 100644
--- a/tools/python/xen/xend/XendCheckpoint.py
+++ b/tools/python/xen/xend/XendCheckpoint.py
@@ -158,12 +158,12 @@ def restore(fd):
                     m = re.match(r"^(store-mfn) (\d+)\n$", l)
                     if m:
                         if dominfo.store_channel:
-                            dominfo.setStoreRef(int(m.group(2)))
-                            if dominfo.store_mfn >= 0:
-                                IntroduceDomain(dominfo.getDomid(),
-                                                dominfo.store_mfn,
-                                                dominfo.store_channel.port1,
-                                                dominfo.getDomainPath())
+                            store_mfn = int(m.group(2))
+                            dominfo.setStoreRef(store_mfn)
+                            IntroduceDomain(dominfo.getDomid(),
+                                            store_mfn,
+                                            dominfo.store_channel.port1,
+                                            dominfo.getDomainPath())
                     m = re.match(r"^(console-mfn) (\d+)\n$", l)
                     if m:
                         dominfo.setConsoleRef(int(m.group(2)))